Back to search
30
MCP

Lean Mathlib 4 Documentation

pulsemcp/lean mathlib 4 documentation

Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionality.

Uptime
0.0%
1 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
0 tools · streamable-http
Documentation Search
Provides direct access to technical documentation across 40+ popular frameworks and libraries including Python, React, FastAPI, and AWS with
0 tools
lean-mcp
MCP server and client for Lean 4 + Mathlib formal verification
0 tools
Mathematica Docs
Integrates with Wolfram Mathematica's documentation to provide access to function details, package symbols, and computational capabilities f
0 tools
io.github.ozanmutlu/gitlab-docs
GitLab documentation search for AI assistants via Model Context Protocol (MCP)
0 tools
Modellix Docs
Search the Modellix knowledge base to quickly find relevant technical information, code examples, and API references. Retrieve implementatio
0 tools · http

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "lean_mathlib_4_documentation": {
      "url": "None",
      "transport": "http"
    }
  }
}